
   Syntax       label %:= RIGHT% label

   Purpose      Isolates the right expression of a relation or equation.

   %Example%

   þR1 : c < d < e
   þE1 := RIGHT R1
   E1 : e

   PROCEDURE Example(LABEL L1, L2) ;
     L2 := RIGHT L1 ;
   EXIT
